11:30
            
            
                
                    - 11:45
                
            
        UPPAAL SMCを用いた交差点における自動運転車群制御システムの検証
                Formal verification of autonomous vehicle group control systems at an intersection using UPPAAL SMC